61. Current trends in concurrency :
Author: edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
62. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
63. Declarative programming and knowledge management :
Author: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
Classification :
QA76
.
615
64. Energy minimization methods in computer vision and pattern recognition :
Author: Marcello Pelillo, Edwin Hancock (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.
Classification :
TA1634
.
E44
2017eb
65. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
66. Evolvable systems
Author: Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Digital integrated circuits-- Design and construction, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Logic circuits-- Design and construction, Congresses.
67. Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7-8, 1996 : proceedings
Author: Tetsuya Higuchi, Iwata Masaya, Weixin Liu )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits,Design and construction -- Congresses ، Logic circuits
Classification :
QA
76
.
L28
Vol
.
1259
68. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
Classification :
QA
76
.
63
.
I566
1995
69. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Author: Michael Fisher, Richard Owens )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
Classification :
QA
76
.
63
I566
1995
70. Exploring the early digital /
Author: Thomas Haigh, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
Classification :
QA75
.
5
.
E96
2019
71. Extensions of logic programming
Author: E. Lamma, P. Mello, eds.
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming -- Congresses
Classification :
QA
76
.
73
.
E9
1993
72. Extensions of logic programming
Author: E. Lamma, P. Mello, eds.
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming -- Congresses
Classification :
QA
76
.
73
.
E9
1993
73. Extensions of logic programming : International Workshop, Tubingen, FRG, December 8-10, 1989, Proceedings
Author: P. Schroeder-Heister, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
475
74. Extensions of logic programming : international workshop, Tubingen, FRG, December 8-10, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses
Classification :
QA
76
.
63
.
E97
1991
75. Extensions of logic programming : second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991: proceedings
Author: L.H. Eriksson, L. Hallnas, P. Schroeder-Heister )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
596
76. Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
Author: Roy Dyckhoff, Heirich Herre, Peter Schroeder-Heister )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1050
77. Extensions of logic programming : 4th International Workshop, ELP'93 St Andrews, U.K., March 29-April 1, 1993 : proceedings
Author: Roy Dyckhoff )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
798
78. Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
Author: ELP '29 )2991: Bologna, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses
Classification :
QA
76
.
63
.
E47
1992
79. Extensions of logic programming : third international workshop, ELP'92, Bologna, Italy, February 26-28, 1992 : proceedings
Author: E. Lamma, P. Mello, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
660
80. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
